In mathematics, set-theoretic topology is a subject that combines set theory and general topology. It focuses on topological questions that are independent of ZFC. A famous problem is the normal Moore space question, a question in general topology that was the subject of intense research. The answer to the normal Moore space question was eventually proved to be independent of ZFC.